搜索
陶哲轩最新判断，数学正在从「证明稀缺」进入「证明过剩」时代——数学家最值钱的工作已不再只是「做出证明」，而是验证它、消化它，并把一块 AI 吐出的「生肉证明」变成人类真正吃得下的知识。
在前不久的 AI TECH DAY 上，斑马智能又新发布了“元神 AI 汽车机器人大脑”，同时推出 AutoOmni 全模态端模型产品矩阵与“龙虾上车”方案 AutoClaw，构成所谓的“一脑双引擎”升级。这不只是一轮产品迭代，更像在做一次预判：汽车正在从功能的集合机器，变成一个可以持续进化、还能主动协作的的智能体系统。
Snapchat 近日宣布，在其核心聊天功能中推出全新广告产品 AI Sponsored Snaps。这一产品是在原有 Sponsored Snaps 广告形式基础上的全新升级，广告主可以将自有 AI Agent 接入 Snapchat 聊天界面，与用户展开实时、个性化的深度交流互动。
上周二，一款名为 SpeakON 的AI硬件设备在美国发售，试图用简单的方式解决这个问题。一颗贴在 iPhone 背面的 MagSafe 按钮，按下说话，松开出字。不需要解锁，不需要切换 App。做这件事的人叫张岩（Ryan Zhang）。他曾联合创办摩拜单车，后来创立了 AI 转录平台 Notta，五年间做到全球超 1000 万用户。
在数字中国建设峰会上，平头哥发布首款智能网卡磐脉 920。这是国内首个内置 PCIe Switch 的 400G 智能网卡，最大支持 400Gbps 吞吐带宽，可应用于万卡智算集群、通算集群和高性能存储等场景，目前已经量产，并将率先部署在阿里云数据中心。
今天，大洋彼岸，硅谷自动驾驶领域的秘密，终于有大佬站出来分享了。如果你对自动驾驶、人形机器人中炙手可热的 VLA、世界模型还有疑惑，全球“物理 AI” 领域头部的基础设施平台 Applied Intuition 两位创始人：CEOQasar Younis、CTO Peter Ludwig的分享可真的是太对口了。
Andrej Karpathy（OpenAI 联合创始人、前特斯拉 AI 负责人、现 Eureka Labs 创始人）在 AI Ascent 2026 上与红杉合伙人 Stephanie Zhan 对话，谈论自他提出 "vibe coding" 一年以来的变化。他解释了为什么作为程序员他从未感到如此落后，为什么 agentic engineering 是在 vibe coding 之上
《读佳》独家获知，百度智能云团队做了一款AI短剧创作平台Hogee AI，并会推出APP版本。据了解，Hogee为AI短剧全链路创作平台，依托百度自研的OpenClaw数字员工体系，用不同工种的AI智能体替代传统短剧团队中的部分岗位，让创作者依托大模型实现从剧本到成片的落地，有利于优质故事以低成本走向市场。
近期，追觅在硅谷举办了「DREAME NEXT」发布会，并把视线投向 2036：未来十年的硬件形态和生活方式，将如何随着 AI 发生变化。在这个宏大命题下，这场发布会也给外界提供了一个观察切片：追觅将如何在 AI 时代重新定义自己。
程序员们，先别忙着焦虑 AI 会抢走你的饭碗。现在更该焦虑的，可能是你们的 CTO 和 CFO 了：因为让 AI 写代码，实在太烧钱了。今天（4 月 28 日），GitHub 宣布从 2026 年 6 月 1 日起，GitHub Copilot 将告别“无限畅饮”模式，将 Copilot 从“按请求计费”转为“按使用量计费”。